On the structure of honest elementary degrees
نویسندگان
چکیده
We present some new results, and survey some old results, on the structure of honest elementary degrees. This paper should be a suitable first introduction to the honest elementary degrees.
منابع مشابه
Streamlined subrecursive degree theory
The study of honest elementary degrees has its roots in subrecursion theory from the nineteen seventies. Some relevant papers are Meyer & Ritchie [12] and Machtey [9–11]. These papers deal with subrecursive function classes being generated by so-called honest functions where an honest function is defined relative to a subrecursive class S and a model of computation: a function f : N → N is hone...
متن کاملHonest elementary degrees and degrees of relative provability without the cupping property
An element a of a lattice cups to an element b > a if there is a c < b such that a∪c = b. An element of a lattice has the cupping property if it cups to every element above it. We prove that there are non-zero honest elementary degrees that do not have the cupping property, which answers a question of Kristiansen, Schlage-Puchta, and Weiermann [17]. In fact, we show that if b is a sufficiently ...
متن کاملImpact of Consciousness-raising Task and Structure-based Production Task on Learning Comparative and Superlative Forms by Iranian Elementary EFL Learners
This study aimed to investigate the relative effectiveness of consciousness-raising tasks and structure-based production tasks in comparison with the traditional teaching in learning comparative and superlative forms, following a task-based approach to teaching English grammar. To this end, from among 82 female elementary-level high school students having taken a Solutions Placement Test (2010)...
متن کاملImpact of Consciousness-raising Task and Structure-based Production Task on Learning Comparative and Superlative Forms by Iranian Elementary EFL Learners
This study aimed to investigate the relative effectiveness of consciousness-raising tasks and structure-based production tasks in comparison with the traditional teaching in learning comparative and superlative forms, following a task-based approach to teaching English grammar. To this end, from among 82 female elementary-level high school students having taken a Solutions Placement Test (2010)...
متن کاملBeyond first order logic: From number of structures to structure of numbers: Part II
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012